Unique satisfiability of Horn sets can be solved in nearly linear time

If a Horn set I has a single satisfying truth assignment or model then that model is said to be unique for I. The question of determining whether a unique model exists for a given Horn set I is shown to be solved in O((L)*L) time, where L is the sum of the lengths of the clauses in I and is the inverse Ackermann function. It is also shown that if LA*log (A) where A is the number of distinct proposition letters then unique satisfiability can be determined in O(L) time.     

Enhancing the Success of African-American Students in the Sciences: Freshman Year Outcomes

The Meyerhoff Program is an intensive, multicomponent program focused on enhancing the success of talented African-American students in science and engineering at a predominantly white, medium-sized university. The program components, taken together, address the four primary factors emphasized in the research literature as limiting minority student performance and persistence in science: knowledge and skills, motivation and support, monitoring and advising, and academic and social integration. Outcome analyses indicated that the first three cohorts of Meyerhoff students (total N=69) achieved an overall GPA (mean=3.5) significantly greater than that of an African-American historical comparison sample (mean=2.8) of comparably talented science students at the university. This difference was even greater for first year science GPA (means of 3.4 and 2.4, respectively), and in specific science and mathematics courses. Observational and questionnaire data indicated that the Meyerhoff program study groups, peerbased community, financial scholarships, summer bridge program and staff appear to be especially important contributors to student success. Implications of the findings for enhancing the success of African-American and other underrepresented populations in science are discussed.     

An economic analysis of microbial reduction of sulfur dioxide as a means of byproduct recovery from regenerable processes for flue gas desulfurization

Applied Biochemistry and Biotechnology - In summary, it appears that the microbial reduction process is clearly not competitive with conventional SO2-reduction techniques when glucose (DE95 corn...     

Route stability in vehicle routing decisions: a bi-objective approach using metaheuristics

In this paper, we argue that vehicle routing solutions are often tactical decisions, that should not be changed too often or too much. For marketing or other reasons, vehicle routing solutions should be stable, i.e. a new solution (when e.g. new customers require service) should be as similar as possible to a solution already in use. Simultaneously however, this new solution should still have a good quality in the traditional sense (e.g. small total travel cost). In this paper, we develop a way to measure the difference between two vehicle routing solutions. We use this distance measure to create a metaheuristic approach that will find solutions that are “close” (in the solution space) to a given baseline solution and at the same time have a high quality in the sense that their total distance traveled is small. By using this approach, the dispatcher is offered a choice of Pareto-optimal solutions, allowing him to make a trade-off between changing his existing solution and allowing a longer travel distance. Some experiments are performed to show the effectiveness of the approach.     

An algorithm for packing regular multistrand polypeptide structures by energy minimization

An algorithm has been developed for packing polypeptide chains by energy minimization subject to regularity conditions, in which regularity is maintained without the addition of pseudoenergy terms by defining the energy as a function of appropriately chosen independent variables. The gradient of the energy with respect to the independent variables is calculated analytically. The speed and efficiency of convergence of the algorithm to a local energy minimum are comparable to those of existing algorithms for minimizing the energy of a single polypeptide chain. The algorithm has been used to reinvestigate the minimum-energy regular structures of three-stranded (L -Ala)₈, three-stranded (L -Val)₆, five-stranded (L -Ile)₆, and the regular and truncated three-stranded (Gly-L -Pro-L -Pro)₄ triple helices. Local minima with improved packing energies, but with essentially unchanged geometrical properties, were obtained in all cases. The algorithm was also used to reinvestigate the structures proposed previously for the I and II forms of crystalline silk fibroin. The silk II structure was reproduced with slightly improved packing and little other change. The orthorhombic silk I structure showed more change and considerably improved packing energy, but the new regular monoclinic silk I structure had considerably higher energy. The results support the structure proposed previously for silk II and the orthorhombic structure, but not the monoclinic structure proposed for silk I. © 1994 by John Wiley & Sons, Inc.     

Origins and structures of background ions produced by fast-atom bombardment of glycerol

Accurate mass measurements were used to assign elemental compositions and tandem mass spectrometry was used to characterize the peak-at-every-mass background ions produced by kiloelectron-volt-particle bombardment of neat fast-atom bombardment matrices. The majority of the background ions observed in the mass spectrum of neat glycerol was identified. On the basis of the experiments with glycerol, a theory for the formation of background ions is presented. Results are discussed according to the chemical and physical changes that ygoe;on-volt-particle bombardment produces in the matrix.     

Effects of target gas in collision-induced dissociation using a double quadrupole mass spectrometer and radiofrequency

Collision-induced dissociation (CID) of polyatomic ions sampled from an rf-powered glow discharge is examined by using three target gases including atomic (Ar and Xe) and molecular species (N2). Collisions with these targets in the first quadrupole of the double quadrupole system result in the loss of discharge species by dissociation, symmetric and asymmetric charge exchange, and scattering, each to varying degrees. These processes are seen to be a function of the relative mass, size... and ionization potentials of the target species, as well as the collision center-of-mass energies. In light of the comparisons, xenon appears to be the best collision target for both CID and charge exchange because of its relatively low ionization potential and high dissociation efficiency of polyatornic species. Evidence for both symmetric and asymmetric charge exchange is presented for Ar and Xe target gases.     

The influence of the liquid crystalline core geometry on the mesogenicity of novel chiral 2-(4-substituted-phenoxy)propanonitriles

The synthesis and characterization of seven novel (R)-2-(4-substituted-phenoxy)propanonitriles are described. The propanonitriles were prepared to evaluate their potential use as thermochromics and ferroelectric dopants, as well as to determine their twist sense properties. The materials exhibit smectic and chiral nematic phases of high thermal stability; the mesogenic behaviour of the nitriles is directly related to the type of two-ring core unit employed. The effects of the different molecular geometries and polarizabilities of the liquid crystalline cores on mesophase stability are discussed, particularly in relation to other members of this series. The chiral nematic phase of the propanonitriles is assigned as having a left-handed twist sense from contact preparation studies, and this is in agreement with rules relating absolute configuration and molecular structure to helical twist sense.